Colette Trout et Derk Visser. <em>Jean Giono</em>
نویسندگان
چکیده
منابع مشابه
Important Papers by Colette Rolland
1. Ben Achour C, Rolland C, Souveyet C, Maiden NAM (1999) Guiding use case authoring: results of an empirical study. In: Proceedings of the 4th IEEE international symposium on requirements engineering RE 1999, IEEE Computer Society, Washington, DC, USA, pp 36–43 2 Bubenko J, Rolland C, Loucopoulos P, DeAntonellis V (1994) Facilitating ‘fuzzy to formal’ requirements modelling. In: Proceedings of...
متن کاملBoolean Algebras in Visser Algebras
We generalize the double negation construction of Boolean algebras in Heyting algebras, to a double negation construction of the same in Visser algebras (also known as basic algebras). This result allows us to generalize Glivenko’s Theorem from intuitionistic propositional logic and Heyting algebras to Visser’s basic propositional logic and Visser algebras. Mathematics Subject Classification: P...
متن کاملThe Visser topology of lambda calculus
A longstanding open problem in lambda calculus is whether there exists a non-syntactical model of the untyped lambda calculus whose theory is exactly the least λ-theory λβ. In this paper we make use of the Visser topology for investigating the related question of whether the equational theory of a model can be recursively enumerable (r.e. for brevity). We introduce the notion of an effective mo...
متن کاملVisser : Design as Construction of Representations
In this chapter, we present our own approach to design, as we have described it in The Cognitive Artifacts of Designing: from a cognitive viewpoint, designing is constructing representations. What is this link between design and representations? Designing consists in specifying an artifact, for example a machine tool – not in its implementation, its fabrication in the workshop. The result of de...
متن کامل2 WILLEM VISSER AND HOWARD BARRINGEREarly
The use of an Ordered Binary Decision Diagram (OBDD) to store all visited states during on-they model checking (or reachability analysis) is investigated. To improve the time and space eeciency a state compression technique is introduced. This compression technique is safe, in the sense that no two unique states will have the same compressed representation. A number of examples are used to eval...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: @nalyses. Revue des littératures franco-canadiennes et québécoise
سال: 1969
ISSN: 1715-9261
DOI: 10.18192/analyses.v2i2.495